[[Function space]]
# Separating set

A set of functions $S \sube \Set(X,Y)$ is said to **separate** the points of $X$ iff for every $x,y \in X$ there exists an $f \in S$ such that $f(x)\neq f(y)$. #m/def/fun 


#
---
#state/develop | #lang/en | #SemBr